Integers and equivalence relations